Bi-X Core: A General-Purpose Bidirectional Transformation Language
نویسندگان
چکیده
Bi-X Core is a general-purpose bidirectional transformation language, aiming to implement various systems that need synchronization between their input data and output data. In syntax, Bi-X Core is a first-order λ-calculus extended with two structured data types, tuple and variant. For ease of use, some functional languages with more syntactic sugar can be defined based on Bi-X Core. The technical problem we solve in this paper is how to define bidirectional semantics for a general-pupose functional language. Bi-X Core is an ongoing work, and some examples are presented to demonstrate its usefulness.
منابع مشابه
A Web Service Architecture for Bidirectional Updating
We propose a Web service architecture for achieving bidirectional updating. This architecture consists of three tiers: clients, a Bi-X bidirectional transformation engine, and some content servers accessible through the Internet. The benefit of using this architecture is that users can harness the power of bidirectional transformations without the burden of installing and maintaining the bidire...
متن کاملImplementing a Bidirectional Model Transformation Language as an Internal DSL in Scala
Despite advantages in terms of comprehensibility, verification, and maintainability, bidirectional transformation (bx) languages lack wide-spread adoption. Possible reasons are that tool support for bx languages is sometimes weak or outdated, that many bx languages are hard to integrate with existing software technologies, or that bx languages often cannot be mixed with unidirectional transform...
متن کاملBidirectionalising HaXML
A transformation from the source data to a target view is said to be bidirectional if, when the target is altered, the transformation somehow induces a way to reflect the changes back to the source, with the updated source satisfying certain healthiness conditions. Several bidirectional transformation languages have been proposed. In this paper, on the other hand, we aim at making existing tran...
متن کاملA Java Library for Bidirectional XML Transformation
We propose a Java library BiXJ for bidirectional XML transformation. A bidirectional transformation generates target XML documents from source XML documents in forward transformations, and updates source documents in backward transformations by reflecting back modifications on target documents. The benefit of using BiXJ is that users can get the corresponding backward transformation automatical...
متن کاملTowards a Taxonomy for Bidirectional Transformation
In Model Driven Engineering, bidirectional transformations are considered a core ingredient for managing both the consistency and synchronization of two or more related models. However, current languages still lack of a common understanding of their semantic implications hampering their applicability in practice. This paper illustrates a set of relevant properties pertaining to bidirectional mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007